CADNA: a library for estimating round-off error propagation
نویسندگان
چکیده
The CADNA library enables one to estimate round-off error propagation using a probabilistic approach. With CADNA the numerical quality of any simulation program can be controlled. Furthermore by detecting all the instabilities which may occur at run time, a numerical debugging of the user code can be performed. CADNA provides new numerical types on which round-off errors can be estimated. Slight modifications are required to control a code with CADNA, mainly changes in variable declarations, input and output. This paper describes the features of the CADNA library and shows how to interpret the information it provides concerning round-off error propagation in a code. PACS: 02.70.-c
منابع مشابه
Numerical 'health check' for scientific codes: the CADNA approach
Scientific computation has unavoidable approximations built into its very fabric. One important source of error that is difficult to detect and control is round-off error propagation which originates from the use of finite precision arithmetic. We propose that there is a need to perform regular numerical ‘health checks’ on scientific codes in order to detect the cancerous effect of round-off er...
متن کاملCADNA_C: A version of CADNA for use with C or C++ programs
The CADNA library enables one to estimate round-off error propagation using a probabilistic approach. The CADNA C version enables this estimation in C or C++ programs, while the previous version had been developed for Fortran programs. The CADNA C version has the same features as the previous one: with CADNA the numerical quality of any simulation program can be controlled. Furthermore by detec...
متن کاملStochastic Arithmetic in Multiprecision
Floating-point arithmetic precision is limited in length the IEEE single (respectively double) precision format is 32-bit (respectively 64-bit) long. Extended precision formats can be up to 128-bit long. However some problems require a longer floating-point format, because of round-off errors. Such problems are usually solved in arbitrary precision, but round-off errors still occur and must be ...
متن کاملEstimation of Round-Off Errors on Several Computer Architectures
Numerical validation of computed results in scienti c computation is always an essential problem as well on sequential architecture as on parallel architecture. The probabilistic approach is the only one that allows to estimate the round-o error propagation of the oating point arithmetic on computers. We begin by recalling the basics of the CESTAC method (Contrôle et Estimation STochastique des...
متن کاملStepsize Control of the Finite Difference Method for Solving Ordinary Differential Equations
An important task in solving second order linear ordinary differential equations by the finite difference is to choose a suitable stepsize h. In this paper, by using the stochastic arithmetic, the CESTAC method and the CADNA library we present a procedure to estimate the optimal stepsize hopt, the stepsize which minimizes the global error consisting of truncation and round-off error. Keywords—o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Computer Physics Communications
دوره 178 شماره
صفحات -
تاریخ انتشار 2008